Learn TLA+
https://www.learntla.com/
#チュートリアル
#TLA+